An introduction to program synthesis
mchav.github.io·3d·
Discuss: Hacker News, r/programming
🤖Code Generation
RustGPT: A pure-Rust transformer LLM built from scratch
dev.to·6h·
Discuss: DEV
🏗️Cranelift
Semantic Dictionary Encoding
falvotech.com·4h·
Discuss: Hacker News
🗂️Type Indexing
New C++ Conference Videos Released This Month - September 2025
reddit.com·1h·
Discuss: r/cpp
🎓Teaching Compilers
Developer-LLM Conversations: An Empirical Study of Interactions and Generated Code Quality
arxiv.org·15h
🎮Language Ergonomics
A Lisp compiler to ARM written in Lisp (2)
forum.ulisp.com·6h·
Discuss: Hacker News
🌱Minimal Lisps
VibeTDD Experiment 4.7: Commons and Examples Compilation - Making AI Smarter Through Better Documentation
dev.to·5h·
Discuss: DEV
📚Self-Documenting Code
xmake-io/xmake
github.com·16h
🔗Language Toolchains
Show HN: I wrote a book: The Elements of Code
news.ycombinator.com·4h·
Discuss: Hacker News
📚Self-Documenting Code
The many, many, many JavaScript runtimes of the last decade
shapeof.com·1h
🚀V8 Internals
Logic's Hidden States: Unlock Debugging Superpowers with Algebraic Thinking by Arvind Sundararajan
dev.to·6h·
Discuss: DEV
🧮Theorem Provers
Algebraic Types are not Scary
blog.aiono.dev·8h·
Discuss: Lobsters, Hacker News
✅Type Checking
The pirate-based logic of Rust shared references
ais523.me.uk·1d·
Discuss: Lobsters, Hacker News
🔒Rust Borrowing
A Slotted Hash Cons for Alpha Invariance
philipzucker.com·37m·
Discuss: Hacker News
🔗Lexical Scoping
OpenAI Introduces GPT-5-Codex, an AI Model Built Just for Coding
inc.com·1h
🎮Language Ergonomics
Greyscale-box test-driven development
blog.ploeh.dk·2m
🧪Compiler Testing
A formal proof of C∞ISRT
bsky.app·1d·
Discuss: r/LessCredibleDefence
♾️Codata Types
Functional Patterns Don't Fit JavaScript, Embracing Model View Controller
bonaroo.nl·5h·
Discuss: Hacker News
🏛️Elm Architecture
SGS-1 – A SOTA foundation model for engineering CAD
spectrallabs.ai·48m·
Discuss: Hacker News
🌐Portable Assembly
Balance between refactoring and inheritance in your code
github.com·7h·
Discuss: Hacker News
🧪Compiler Testing